COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	wics[e86,jmc]	Notes for wics course
C00004 ENDMK
C⊗;
wics[e86,jmc]	Notes for wics course

background of students

remarks about other lecturers

the goal of eliminating debugging
not just more theory
role of interactive theorem prover, ekl, boyer-moore

lisp, algolic, and logic programming formalisms

NEED A HOMEWORK PROBLEM

first order theory
	totality assumed
	associativity of append
review first order logic
properties of conditional expressions
extension with conditional expressions
lisp axioms
ekl

totality not assumed
	call-by-value and call-by-name
	bottomless
	bottom
	proofs of termination

optional topics
	elephant
	lambda calculus
	unsolvability